-
1 constraint logic programming
= CLP Iразновидность программирования в ограничениях ( constraint programming) и логического программирования, где машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т. п. Например, множество ограничений типа x100, y40 позволит исключить из рассмотрения все значения, не удовлетворяющие этому требованию, при поиске решения для выражения КратчайшееРасстояние(x,y). Существует много экспериментальных и коммерческих языков CLP, например CHIP и Eclipse, созданы средства (устройства, машины) разрешения ограничений для ряда предметных областей - это арифметики целых, действительных, линейных рациональных чисел, булева арифметика и сравнение строк.Syn:см. тж. constraint solver, programmingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > constraint logic programming
См. также в других словарях:
Mozart (язык программирования) — У этого термина существуют и другие значения, см. Моцарт (значения). Mozart мультиплатформенная интерпретирующая реализация языка программирования Oz разработанная Mozart Consortium. Реализует такие парадигмы программирования как Объектно… … Википедия
Мультипарадигменный язык программирования — Под мультипарадигмальным языком программирования понимают, как правило, такой язык, который был разработан специально как инструмент мультипарадигмального программирования, т.е. изобразительные возможности которого изначально предполагалось… … Википедия
